1552 search results - page 280 / 311 » From Automatic Structures to Borel Structures |
184
click to vote
POPL
2009
ACM
16 years 12 days ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
182
click to vote
POPL
2006
ACM
16 years 2 days ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
110
click to vote
ISCA
2009
IEEE
15 years 6 months ago
2009
IEEE
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
113
click to vote
ICDM
2008
IEEE
15 years 6 months ago
2008
IEEE
Web Mining Systems exploit the redundancy of data published on the Web to automatically extract information from existing web documents. The first step in the Information Extract...
110
Voted
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
— There is much to gain from providing walking machines with passive dynamics, e.g. by including compliant elements in the structure. These elements can offer interesting propert...