Sciweavers

3706 search results - page 416 / 742
» OntoComP System Description
Sort
View
AOSE
2005
Springer
16 years 6 days ago
Formalisation and Analysis of the Temporal Dynamics of Conditioning
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
Tibor Bosse, Catholijn M. Jonker, Sander A. Los, L...
CCGRID
2003
IEEE
15 years 12 months ago
Noncontiguous I/O Accesses Through MPI-IO
I/O performance remains a weakness of parallel computing systems today. While this weakness is partly attributed to rapid advances in other system components, I/O interfaces avail...
Avery Ching, Alok N. Choudhary, Kenin Coloma, Wei-...
HAPTICS
2003
IEEE
15 years 12 months ago
Controller Design for a Wearable, Near-Field Haptic Display
In this paper, we address the problem of providing near-field haptic feedback in a wearable, scalable manner. Our solution, called the TactaBoard, supports the independent control...
Robert W. Lindeman, Justin R. Cutler
RSP
2003
IEEE
132views Control Systems» more  RSP 2003»
15 years 12 months ago
Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Arun Kejariwal, Nikil Dutt
ICFEM
2003
Springer
15 years 12 months ago
Formalization, Testing and Execution of a Use Case Diagram
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
Wuwei Shen, Shaoying Liu