8179 search results - page 1202 / 1636 » The PRACTIONIST Development Tool |
225
click to vote
AADEBUG
2005
Springer
16 years 12 days ago
2005
Springer
This paper introduces program chipping, a simple yet effective technique to isolate bugs. This technique automatically removes or chips away parts of a program so that the part t...
179
click to vote
DNIS
2005
Springer
16 years 12 days ago
2005
Springer
: A Peer-to-peer Data Network (PDN) is an open and evolving society of peer nodes that assemble into a network to share their data for mutual benefit. PDNs are enabled by distribu...
193
click to vote
ICLP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
173
click to vote
SCOPES
2005
Springer
16 years 10 days ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
178
click to vote
VSTTE
2005
Springer
16 years 10 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...