10159 search results - page 1993 / 2032 » System Design Validation Using Formal Models |
121
Voted
SPAA
2005
ACM
15 years 7 months ago
2005
ACM
The page migration problem is one of subproblems of data management in networks. It occurs in a distributed network of processors sharing one indivisible memory page of size D. Du...
135
click to vote
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
The model of moldable task (MT) was introduced some years ago and has been proved to be an efficient way for implementing parallel applications. It considers a target application ...
111
Voted
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...
141
Voted
ALIFE
1999
15 years 1 months ago
1999
An arti cial life entertainment-software product called Creatures was released in Europe in late 1996 and in the United States and Japan in mid-1997. When installed on a domestic c...
157
Voted
CIVR
2010
Springer
15 years 6 days ago
2010
Springer
In many applications, we find large video collections from different genres where the user is often only interested in one or two specific video genres. So, when users are queryin...