555 search results - page 56 / 111 » A Run-time System for SCOOP |
FDL
2003
IEEE
14 years 29 days ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
ICDAR
2003
IEEE
14 years 29 days ago
2003
IEEE
Current approaches to script identification rely on hand-selected features and often require processing a significant part of the document to achieve reliable identification. We p...
DSD
2002
IEEE
14 years 19 days ago
2002
IEEE
This paper1 addresses the hardware implementation of a dynamic scheduler for non-manifest data dependent periodic loops. Static scheduling techniques which are known to give near ...
HICSS
2002
IEEE
14 years 18 days ago
2002
IEEE
In this paper, we define a continuum of modeling styles, ranging from collections of very simple agents on one end to collections of very complex agents at the other end, and a s...
DSRT
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper introduces a Collaborative Virtual Environment (CVE) system over the Internet. A Virtual Reality Modeling Language (VRML) 97-based user interface is developed to permit...