3101 search results - page 316 / 621 » Using Relational Databases in the Engineering Repository Sys... |
197
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
174
click to vote
IJVR
2008
15 years 6 months ago
2008
Solving robotic exercises is a difficult task for students because the modeling activity involved requires students to comprehend programming, robotic design concepts as well as ba...
185
click to vote
CGO
2003
IEEE
16 years 12 hour ago
2003
IEEE
Optimizing programs at run-time provides opportunities to apply aggressive optimizations to programs based on information that was not available at compile time. At run time, prog...
161
click to vote
CGO
2007
IEEE
16 years 1 months ago
2007
IEEE
Managed runtime environments (MREs) employ garbage collection (GC) for automatic memory management. However, GC induces pressure on the virtual memory (VM) manager, since it may t...
192
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Automatic categorization of user queries is an important component of general purpose (Web) search engines, particularly for triggering rich, query-specific content and sponsored ...