4835 search results - page 323 / 967 » Intelligent Selection Tools |
177
click to vote
TOOLS
2010
IEEE
15 years 11 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
184
click to vote
ASPDAC
1998
ACM
15 years 11 months ago
1998
ACM
We developed a new modular synthesis approach for design of low-power core-based data-intensive application-specific systems on silicon. The power optimization is conducted in th...
152
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
164
click to vote
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
One of the most challenging tasks for the database administrator is to physically design the database to attain optimal performance for a given workload. Physical design is hard b...
166
click to vote
LREC
2008
15 years 8 months ago
2008
This paper presents a freely available, and flexible Wizard of Oz environment for rapid prototyping. The system is designed to investigate the required features of a dialog system...