6054 search results - page 903 / 1211 » Implementation of Andorra-based Languages |
152
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
206
Voted
AVI
2008
15 years 9 months ago
2008
To overcome the shortcomings posed by audio rendering of web pages for blind users, this paper implements an interaction technique where web pages are parsed so as to automaticall...
197
click to vote
ICIA
2007
15 years 9 months ago
2007
We address the problem of users creating visualizations to debug and understand multi-agent systems. The key challenges are that (1) needs arise dynamically, i.e., it is difficult...
163
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
201
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...