Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 62 matches
- 2012
- Robert Dyer, Hoan Nguyen, Hridesh Rajan, Tien N. Nguyen:
Analyzing ultra-large-scale code corpus with boa. SPLASH 2012: 25-26 - Robert Dyer, Hoan Nguyen, Hridesh Rajan, Tien N. Nguyen:
Boa: analyzing ultra-large-scale code corpus. SPLASH 2012: 87-88 - Suriya Priya R. Asaithambi, Stan Jarzabek:
Generic adaptable test cases for software product line testing: software product line. SPLASH 2012: 33-36 - Andrew P. Black, Theo D'Hondt, Doug Kimelman, Martin C. Rinard, David M. Ungar:
Workshop on relaxing synchronization for multicore and manycore scalability (RACES 2012). SPLASH 2012: 221-222 - Christoph Bockisch, Lodewijk Bergmans, Steven te Brinke, Ian Piumarta:
3rd international workshop on free composition (FREECO'12). SPLASH 2012: 235-236 - Christoph Bockisch, Andreas Sewe:
The ALIA4J approach to efficient language implementation. SPLASH 2012: 19-20 - Richard A. Brown, Edward F. Gehringer:
Developing competency in parallelism: techniques for education and training. SPLASH 2012: 229-230 - Fernanda Campos, Yadran Eterovic:
Applying aspect mining techniques to understand an existing program. SPLASH 2012: 81-82 - Simin Chen:
Declarative access policies based on objects, relationships, and states. SPLASH 2012: 99-100 - Zack Franklin Coker:
Security-oriented program transformations to cure integer overflow vulnerabilities. SPLASH 2012: 103-104 - James Coplien:
Reflections on reflection. SPLASH 2012: 7-10 - James Coplien, Trygve Mikkjel Heyerdahl Reenskaug:
The data, context and interaction paradigm. SPLASH 2012: 227-228 - Luis Corral:
Using software quality standards to assure the quality of the mobile software product. SPLASH 2012: 37-40 - Luis Corral:
Standard-based strategy to assure the quality of the mobile software product. SPLASH 2012: 95-96 - Jens Dietrich:
Upload your program, share your model. SPLASH 2012: 21-22 - Steven Fraser, Kendra M. L. Cooper, Jim Coplien, Ruth G. Lennon, Ramya Ravichandar, Diomidis Spinellis, Giancarlo Succi:
Software tools research: a matter of scale and scope - or commoditization? SPLASH 2012: 59-62 - Steven Fraser, Richard P. Gabriel, Gail E. Harris, Ricardo López, Dennis Mancl, William F. Opdyke:
Trade-offs in software design and delivery. SPLASH 2012: 63-66 - Nathan Fulton:
Security through extensible type systems. SPLASH 2012: 107-108 - Paolo G. Giarrusso:
Reifying and optimizing collection queries for modularity. SPLASH 2012: 41-44 - Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kästner:
Reifying and optimizing collection queries for modularity. SPLASH 2012: 77-78 - Sharath Chowdary Gude:
JavaScript: the used parts. SPLASH 2012: 109-110 - Munawar Hafiz, Paul Adamczyk:
The nature of order: from security patterns to a pattern language. SPLASH 2012: 75-76 - Munawar Hafiz, Jeffrey Overbey:
OpenRefactory/C: an infrastructure for developing program transformations for C programs. SPLASH 2012: 27-28 - Shams Mahmood Imam:
CnC-Python: multicore programming with high productivity. SPLASH 2012: 111-112 - Gabriël D. P. Konat, Vlad A. Vergu, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser:
The spoofax name binding language. SPLASH 2012: 79-80 - K. Rustan M. Leino:
Staged program development. SPLASH 2012: 3-4 - Ruth G. Lennon:
Bring your own device (BYOD) with Cloud 4 education. SPLASH 2012: 171-180 - Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot:
A semantic integrated development environment. SPLASH 2012: 15-16 - Mark Mahoney:
The storyteller version control system: tackling version control, code comments, and team learning. SPLASH 2012: 17-18 - Dennis Mancl, Steven Fraser, Gail E. Harris, Bill Opdyke:
Workshop: what drives design? SPLASH 2012: 225-226
skipping 32 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-27 09:33 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint