Sciweavers

4679 search results - page 45 / 936
» The Timely Computing Base Model and Architecture
Sort
View
CGI
2006
IEEE
15 years 3 months ago
Real-Time Shadow Volume Algorithm for Subdivision Surface Based Models
This paper presents a purely hardware-accelerated shadow volume algorithm for subdivision surface based models. By introducing SP (subdivision patterns), all procedures, including ...
Min Tang, Jinxiang Dong, Shang-Ching Chou
IUI
1999
ACM
15 years 1 months ago
Towards a General Computational Framework for Model-Based Interface Development Systems
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
Angel R. Puerta, Jacob Eisenstein
92
Voted
ICFEM
2003
Springer
15 years 2 months ago
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta...
DAC
2010
ACM
15 years 1 months ago
Circuit modeling for practical many-core architecture design exploration
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
Dean Truong, Bevan M. Baas
ATAL
2004
Springer
15 years 3 months ago
Towards Supporting Psychologically Plausible Variability in Agent-Based Human Modelling
We describe the initial steps in developing an agentbased cognitive architecture designed to support psychologically plausible human variability. The new architecture, COJACK, is ...
Emma Norling, Frank E. Ritter