1992 search results - page 272 / 399 » Memory modeling for system synthesis |
130
click to vote
EPIA
1999
Springer
15 years 10 months ago
1999
Springer
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first imp...
140
click to vote
CHI
1998
ACM
15 years 10 months ago
1998
ACM
The Cognitive Function Analysis is a methodology supportedby a mediating tool for the human-centered automationof safety-critical systems[4]. It is basedon a socio-cognitive model...
170
click to vote
MASCOTS
1997
15 years 7 months ago
1997
We describe a method for performance analysis of large software systems that combines a fast instruction-set simulator with off-line detailed analysis of segments of the execution...
165
click to vote
ACMSE
2005
ACM
15 years 12 months ago
2005
ACM
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...
152
click to vote
FGR
1996
IEEE
15 years 10 months ago
1996
IEEE
We present a system for generation and recognition of oscillatory gestures. Inspired by gestures used in two representative human-tohuman control areas, we consider a set of oscil...