10159 search results - page 604 / 2032 » System Design Validation Using Formal Models |
200
click to vote
IUI
1997
ACM
15 years 11 months ago
1997
ACM
Intelligentlearning environments that support constructivism shouldprovideactivelearningexperiencesthatarecustomized for individuallearners. To do so, they must determine learner ...
222
click to vote
FMICS
2009
Springer
15 years 11 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
188
click to vote
IFL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
172
click to vote
WSC
2007
15 years 9 months ago
2007
Assessing tram schedules is important to assure an efficient use of infrastructure and for the provision of a good quality service. Most existing infrastructure modeling tools pr...
180
click to vote
ISSS
2002
IEEE
15 years 12 months ago
2002
IEEE
We have fabricated a Chip Multiprocessor prototype code-named Merlot to proof our novel speculative multithreading architecture. On Merlot, multiple threads provide wider issue wi...