23436 search results - page 4427 / 4688 » Architecture |
229
click to vote
VLDB
2005
ACM
16 years 22 days ago
2005
ACM
Simultaneous multithreading (SMT) allows multiple threads to supply instructions to the instruction pipeline of a superscalar processor. Because threads share processor resources,...
199
click to vote
VLDB
2005
ACM
16 years 22 days ago
2005
ACM
The Web has been rapidly “deepened” by myriad searchable databases online, where data are hidden behind query forms. Helping users query alternative “deep Web” sources in ...
197
click to vote
VSTTE
2005
Springer
16 years 22 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
207
click to vote
WLP
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
236
click to vote
EUROGP
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Wireless sensor networks (WSNs) are medium scale manifestations of a paintable or amorphous computing paradigm. WSNs are becoming increasingly important as they attain gr...