Sciweavers

1407 search results - page 120 / 282
» Using Use Cases in Executable Z
Sort
View
CF
2004
ACM
15 years 9 months ago
Predictable performance in SMT processors
Current instruction fetch policies in SMT processors are oriented towards optimization of overall throughput and/or fairness. However, they provide no control over how individual ...
Francisco J. Cazorla, Peter M. W. Knijnenburg, Riz...
ICRA
2005
IEEE
140views Robotics» more  ICRA 2005»
15 years 10 months ago
Adaptive Virtual Fixtures for Machine-Assisted Teleoperation Tasks
— It has been demonstrated in a number of robotic areas how the use of virtual fixtures improves task performance both in terms of execution time and overall precision, [1]. How...
Daniel Aarno, Staffan Ekvall, Danica Kragic
COOPIS
2004
IEEE
15 years 8 months ago
Eager Replication for Stateful J2EE Servers
Abstract. Replication has been widely used in J2EE servers for reliability and scalability. There are two properties which are important for a stateful J2EE application server. Fir...
Huaigu Wu, Bettina Kemme, Vance Maverick
SE
2010
15 years 5 months ago
Automated Benchmarking of Java APIs
: Performance is an extra-functional property of software systems which is often critical for achieving sufficient scalability or efficient resource utilisation. As many applicatio...
Michael Kuperberg, Fouad Omri, Ralf Reussner
GVD
2009
191views Database» more  GVD 2009»
15 years 2 months ago
Query Processing on Multi-Core Architectures
The upcoming generation of computer hardware poses several new challenges for database developers and engineers. Software in general and database management systems (DBMSs) in par...
Frank Huber, Johann Christoph Freytag