854 search results - page 56 / 171 » Addressing Dynamic Issues of Program Model Checking |
141
click to vote
IUI
2003
ACM
15 years 7 months ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
121
click to vote
CP
2004
Springer
15 years 7 months ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
124
click to vote
DSN
2009
IEEE
15 years 9 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
138
click to vote
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
A growing number of applications, with diverse requirements, are integrated on the same System on Chip (SoC) in the form of hardware and software Intellectual Property (IP). The d...
157
click to vote
FCCM
2008
IEEE
15 years 9 months ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...