Sciweavers

1076 search results - page 146 / 216
» Supporting Design Patterns with Annotations
Sort
View
PLDI
2003
ACM
15 years 8 months ago
Checking and inferring local non-aliasing
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
Alexander Aiken, Jeffrey S. Foster, John Kodumal, ...
BMCBI
2004
83views more  BMCBI 2004»
15 years 3 months ago
VKCDB: Voltage-gated potassium channel database
Background: The family of voltage-gated potassium channels comprises a functionally diverse group of membrane proteins. They help maintain and regulate the potassium ion-based com...
Bin Li, Warren J. Gallin
SIGMOD
2011
ACM
282views Database» more  SIGMOD 2011»
14 years 6 months ago
SkylineSearch: semantic ranking and result visualization for pubmed
Life sciences researchers perform scientific literature search as part of their daily activities. Many such searches are executed against PubMed, a central repository of life sci...
Julia Stoyanovich, Mayur Lodha, William Mee, Kenne...
147
Voted
IPPS
2006
IEEE
15 years 9 months ago
Compiler assisted dynamic management of registers for network processors
Modern network processors support high levels of parallelism in packet processing by supporting multiple threads that execute on a micro-engine. Threads switch context upon encoun...
R. Collins, Fernando Alegre, Xiaotong Zhuang, Sant...
124
Voted
AOSD
2008
ACM
15 years 5 months ago
Edicts: implementing features with flexible binding times
In a software product line, the binding time of a feature is the time at which one decides to include or exclude a feature from a product. Typical binding site implementations are...
Venkat Chakravarthy, John Regehr, Eric Eide