208 search results - page 32 / 42 » Highly dependable concurrent programming using design for ve... |
178
Voted
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
160
click to vote
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
The performance of a database system depends strongly on the layout of database objects, such as indexes or tables, onto the underlying storage devices. A good layout will both ba...
150
click to vote
SIGCOMM
2009
ACM
15 years 11 months ago
2009
ACM
The routing architecture of the original 4.4BSD [3] kernel has been deployed successfully without major design modification for over 15 years. In the unified routing architectur...
146
click to vote
SCM
1998
15 years 6 months ago
1998
PRCS is an attempt to provide a version-control system for collections of les with a simple operational model, a clean user interface, and high performance. PRCS is characterized b...
162
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Long design cycles due to the inability to predict silicon realities is a well-known problem that plagues analog/RF integrated circuit product development. As this problem worsens...