29147 search results - page 5451 / 5830 » System Modeling Resurrected |
179
click to vote
LOPSTR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...
171
click to vote
ICPP
1998
IEEE
15 years 11 months ago
1998
IEEE
We address the problems of I/O scheduling and buffer management for general reference strings in a parallel I/O system. Using the standard parallel disk model withD disks and a sh...
167
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
The bow leg hopper is a new design for a locomoting system with a resilient, flexible leg. It features a passive stance phase and natural pitch stability. It is controlled with ac...
187
click to vote
ICRE
1998
IEEE
15 years 11 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
155
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
LAPI is a low-level, high-performance communication interface available on the IBM RS/6000 SP system. It provides an activemessage-like interface along with remote memory copy and...