28888 search results - page 5555 / 5778 » Computability and complexity in analysis |
144
Voted
EUROSYS
2006
ACM
16 years 22 days ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
130
Voted
ICCD
2000
IEEE
16 years 17 days ago
2000
IEEE
Secure socket layer SSL is the most popular protocol used in the Internet for facilitating secure communications through authentication, encryption, and decryption. Although the...
135
Voted
ICCAD
2004
IEEE
16 years 17 days ago
2004
IEEE
—In this paper, we present a new block budgeting algorithm which speeds up timing closure in timing driven hierarchical flows. After a brief description of the addressed flow, ...
129
Voted
PEPM
2010
ACM
16 years 16 days ago
2010
ACM
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
156
Voted
IUI
2009
ACM
16 years 16 days ago
2009
ACM
Recent years have seen a resurgence of interest in programming by demonstration. As end users have become increasingly sophisticated, computer and artificial intelligence technolo...