2881 search results - page 438 / 577 » Model Checking for Programming Languages using Verisoft |
130
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
167
click to vote
HPCA
1998
IEEE
15 years 9 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...
171
click to vote
MICRO
2010
IEEE
15 years 3 months ago
2010
IEEE
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
167
click to vote
WISE
2009
Springer
16 years 2 months ago
2009
Springer
ct One significant effort towards combining the virtues of Web search, viz. being accessible to untrained users and able to cope with vastly heterogeneous data, with those of dat...
130
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Closed corpus AH systems demonstrate what is possible to achieve with adaptive hypermedia technologies; however they are impractical for dealing with the large volume of open corpu...