Sciweavers

2242 search results - page 135 / 449
» From testing to anti-product development
Sort
View
PADS
2006
ACM
16 years 9 days ago
Analysing the Performance of Optimistic Synchronisation Algorithms in Simulations of Multi-Agent Systems
In this paper we present a detailed analysis of the performance of the Decision Theoretic Read Delay (DTRD) optimistic synchronisation algorithm for simulations of Multistems. We ...
Michael Lees, Brian Logan, Dan Chen, Ton Oguara, G...
RTAS
2005
IEEE
15 years 12 months ago
On Schedulability Bounds of Static Priority Schedulers
—Real-time systems need to use the schedulability test to determine whether or not admitted tasks can meet their deadlines. The utilization based schedulability test is the most ...
Jianjia Wu, Jyh-Charn Liu, Wei Zhao
ICAIL
2005
ACM
15 years 12 months ago
Helping Law Students to Understand US Supreme Court Oral Arguments: A Planned Experiment
The transcripts of oral arguments before the US Supreme Court provide interesting opportunities from the viewpoint of legal education. As the pinnacle of legal argumentation, they...
Vincent Aleven, Kevin D. Ashley, Collin Lynch
ICSE
2010
IEEE-ACM
15 years 11 months ago
An empirical study of optimizations in YOGI
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
Aditya V. Nori, Sriram K. Rajamani
SCANGIS
2003
15 years 7 months ago
Need for Context-Aware Topographic Maps in Mobile Devices
Recently, along with the breakthrough of the Internet and mobile environment, the development towards screen maps used as intelligent user interfaces appears to be emergent. This m...
Annu-Maaria Nivala, L. Tiina Sarjakoski