12487 search results - page 146 / 2498 » Graspable Work Modeling |
113
Voted
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
138
Voted
GLVLSI
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper approaches statistical optimization by examining gate delay variation models and optimization objectives. Most previous work on statistical optimization has focused exc...
119
Voted
ECRTS
1999
IEEE
15 years 7 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
130
click to vote
EUROCRYPT
2000
Springer
15 years 7 months ago
2000
Springer
We show that if any one-way function exists, then 3-round concurrent zero-knowledge arguments for all NP problems can be built in a model where a short auxiliary string with a pres...
ACMDIS
1997
ACM
15 years 7 months ago
1997
ACM
A multidisciplinary team at Philips Sound and Vision's TV Lab developed an E-mail-on-TV functionality. Their objective is to offer the benefits of E-mail to people in their l...