1466 search results - page 125 / 294 » Complexity of Reasoning over Temporal Data Models |
158
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...
148
click to vote
IFIP3
1998
15 years 5 months ago
1998
Development of a wide spread project intended to teaching Computer Science, integrating a considerable number of students all over a country with big geographical extension and sc...
110
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
143
Voted
KDD
2006
ACM
16 years 5 months ago
2006
ACM
Contextual text mining is concerned with extracting topical themes from a text collection with context information (e.g., time and location) and comparing/analyzing the variations...
133
Voted
DAGSTUHL
2006
15 years 6 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...