Sciweavers

1076 search results - page 146 / 216
» Supporting Design Patterns with Annotations
Sort
View
PLDI
2003
ACM
15 years 11 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, ...
150
Voted
BMCBI
2004
83views more  BMCBI 2004»
15 years 6 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 9 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...
IPPS
2006
IEEE
16 years 18 days 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...
AOSD
2008
ACM
15 years 8 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