1781 search results - page 129 / 357 » Visualizing program execution using user abstractions |
133
click to vote
WEBDB
2010
Springer
15 years 7 months ago
2010
Springer
The MapReduce distributed programming framework is very popular, but currently lacks the optimization techniques that have been standard with relational database systems for many ...
130
click to vote
CP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
120
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
100
Voted
DEXA
2000
Springer
15 years 6 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
109
Voted
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— UrbanSim is a large scale land use and transportation simulator that models the possible long-term effects of different policies on urban regions. The output is present...