1407 search results - page 226 / 282 » Using Use Cases in Executable Z |
108
click to vote
ICPP
2008
IEEE
15 years 9 months ago
2008
IEEE
—Transactional Memory (TM) takes responsibility for concurrent, atomic execution of labeled regions of code, freeing the programmer from the need to manage locks. Typical impleme...
111
Voted
ICAC
2007
IEEE
15 years 9 months ago
2007
IEEE
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
112
Voted
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
We propose here to deal with the optimization of velocity profiles of manipulator robots with a minimum time criterion subject to thermal constraints. This paper deals with the r...
119
Voted
SBCCI
2004
ACM
15 years 8 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
111
click to vote
HIPC
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we present a system capable of improving the I/O performance in an automatic way. This system is able to learn the behavior of the applications running on top and ...