Sciweavers

2777 search results - page 122 / 556
» Example centric programming
Sort
View
112
Voted
ASPDAC
1998
ACM
119views Hardware» more  ASPDAC 1998»
15 years 4 months ago
Integer Programming Models for Optimization Problems in Test Generation
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...
João P. Marques Silva
SIGMETRICS
1998
ACM
110views Hardware» more  SIGMETRICS 1998»
15 years 4 months ago
LoGPC: Modeling Network Contention in Message-Passing Programs
In many real applications, for example those with frequent and irregular communication patterns or those using large messages, network contention and contention for message proces...
Csaba Andras Moritz, Matthew Frank
SIGMOD
1997
ACM
107views Database» more  SIGMOD 1997»
15 years 4 months ago
Picture Programming Project
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...
Nita Goyal, Charles Hoch, Ravi Krishnamurthy, Bria...
93
Voted
ICCAD
1995
IEEE
110views Hardware» more  ICCAD 1995»
15 years 4 months ago
Fast functional simulation using branching programs
This paper addresses the problem of speeding up functional (delayindependent)logic simulation for synchronousdigital systems. The problem needs very little new motivation – cycl...
Pranav Ashar, Sharad Malik
89
Voted
TAPSOFT
1991
Springer
15 years 4 months ago
Comparative Semantics for a Real-Time Programming Language with Integration
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
Franck van Breugel