6608 search results - page 1241 / 1322 » On the Completeness of Model Checking |
169
Voted
SSD
2007
Springer
15 years 9 months ago
2007
Springer
We address continuously processing an aggregation join query over data streams. Queries of this type involve both join and aggregation operations, with windows specified on join ...
133
Voted
GMP
2006
IEEE
15 years 9 months ago
2006
IEEE
For molding and casting processes, geometries that have undercut-free parting directions (UFPDs) are preferred for manufacturing. Identifying all UFPDs for arbitrary geometries at ...
125
Voted
PARELEC
2006
IEEE
15 years 9 months ago
2006
IEEE
Usually, theories of surface growth are based on the study of global processes without taking in account the local behaviour of atoms. We have implemented two Montecarlo simulation...
148
Voted
VLSID
2006
IEEE
15 years 9 months ago
2006
IEEE
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
129
Voted
CASES
2006
ACM
15 years 9 months ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...