598 search results - page 89 / 120 » Efficient and User-Friendly Verification |
108
click to vote
SDM
2008
SIAM
15 years 1 months ago
2008
SIAM
In this paper we explore private computation built on vector addition and its applications in privacypreserving data mining. Vector addition is a surprisingly general tool for imp...
121
click to vote
DAC
2004
ACM
16 years 24 days ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
DAC
2004
ACM
16 years 24 days ago
2004
ACM
The increasing complexity of today's mixed-signal integrated circuits necessitates both top-down and bottom-up system-level verification. Time-domain state-space modeling and...
195
click to vote
POPL
2009
ACM
16 years 14 days ago
2009
ACM
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
186
click to vote
POPL
2005
ACM
16 years 4 days ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...