Sciweavers

14382 search results - page 351 / 2877
» Time in Connectionist Models
Sort
View
DATE
2006
IEEE
105views Hardware» more  DATE 2006»
16 years 23 days ago
Statistical timing analysis with path reconvergence and spatial correlations
State of the art statistical timing analysis (STA) tools often yield less accurate results when timing variables become correlated. Spatial correlation and correlation caused by p...
Lizheng Zhang, Yuhen Hu, Charlie Chung-Ping Chen
ISPDC
2006
IEEE
16 years 21 days ago
Managing Information and Time Flow in an Agent-Based E-Commerce System
Recently, we have proposed a comprehensive agent-based e-commerce system. While UML formalized, it lacked details how basic functions – e.g. user request to purchase a given pro...
Maciej Gawinecki, Maria Ganzha, Pawel Kobzdej, Mar...
GLVLSI
2005
IEEE
83views VLSI» more  GLVLSI 2005»
16 years 9 days ago
Diagnosing multiple transition faults in the absence of timing information
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...
Jiang Brandon Liu, Magdy S. Abadir, Andreas G. Ven...
229
Voted
RSP
2005
IEEE
207views Control Systems» more  RSP 2005»
16 years 8 days ago
Design Exploration and HW/SW Rapid Prototyping for Real-Time System Design
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
Sylvain Huet, Emmanuel Casseau, Olivier Pasquier
SEFM
2005
IEEE
16 years 8 days ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...