3388 search results - page 455 / 678 » Type-theoretic design patterns |
181
click to vote
HPCA
2004
IEEE
16 years 7 months ago
2004
IEEE
Reducing energy consumption has become one of the major challenges in designing future computing systems. This paper proposes a novel idea of using program counters to predict I/O...
257
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Many kinds of real-life data exhibit logical ordering among their data items and are thus sequential in nature. However, traditional online analytical processing (OLAP) systems an...
164
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Many architecture description languages (ADLs) have been proposed to model, analyze, configure, and deploy complex software systems. To face this diversity, extensible ADLs (or AD...
204
click to vote
MOBIHOC
2002
ACM
16 years 6 months ago
2002
ACM
This paper presents a new carrier sensing mechanism called DVCS (Directional Virtual Carrier Sensing) for wireless communication using directional antennas. DVCS does not require ...
179
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
Biological shape modeling is an essential task that is required for systems biology efforts to simulate complex cell behaviors. Statistical learning methods have been used to buil...