9989 search results - page 1973 / 1998 » A CLP Approach to Modelling Systems |
KDD
2007
ACM
16 years 6 days ago
2007
ACM
We now have incrementally-grown databases of text documents ranging back for over a decade in areas ranging from personal email, to news-articles and conference proceedings. While...
HPCA
2008
IEEE
16 years 5 days ago
2008
IEEE
Estimating the maximum power and thermal characteristics of a processor is essential for designing its power delivery system, packaging, cooling, and power/thermal management sche...
185
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
198
click to vote
POPL
2006
ACM
16 years 4 days ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
STOC
2005
ACM
16 years 3 days ago
2005
ACM
The Write-All problem for an asynchronous shared-memory system has the objective for the processes to update the contents of a set of shared registers, while minimizing the mber o...