Sciweavers

668 search results - page 3 / 134
» Component-Oriented Specification of Performance Measures
Sort
View
JTRES
2010
ACM
13 years 5 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
UIST
2010
ACM
13 years 3 months ago
UIMarks: quick graphical interaction with specific targets
This paper reports on the design and evaluation of UIMarks, a system that lets users specify on-screen targets and associated actions by means of a graphical marking language. UIM...
Olivier Chapuis, Nicolas Roussel
ACL
2012
11 years 7 months ago
DOMCAT: A Bilingual Concordancer for Domain-Specific Computer Assisted Translation
In this paper, we propose a web-based bilingual concordancer, DOMCAT 1 , for domain-specific computer assisted translation. Given a multi-word expression as a query, the system in...
Ming-Hong Bai, Yu-Ming Hsieh, Keh-Jiann Chen, Jaso...
ICDCSW
2007
IEEE
13 years 11 months ago
Using stream queries to measure communication performance of a parallel computing environment
We have developed a data stream management system that supports declarative stream queries running over high data volumes in a supercomputing environment. To enable specification ...
Erik Zeitler, Tore Risch
WSC
1998
13 years 6 months ago
A Rapid Modeling Technique for Measurable Improvements in Factory Performance
This paper discusses a methodology for quickly investigating problem areas in semiconductor wafer fabrication factories by creating a model for the production area of interest onl...
Andreas Peikert, Josef Thoma, Steven Brown