6020 search results - page 792 / 1204 » A New Approach to Model Counting |
159
click to vote
ISPD
1997
ACM
15 years 11 months ago
1997
ACM
In this paper, we present a new approach that performs timing driven placement for standard cell circuits in interaction with netlist transformations. As netlist transformations a...
171
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Pervasive computing environments introduce new requirements in expressiveness and flexibility of access control policies which are almost addressable leveraging contextual informa...
208
click to vote
GLVLSI
2009
IEEE
15 years 10 months ago
2009
IEEE
The rapidly expanding diversity of technology available at the nanoscale is disrupting the existing transistorcentric microelectronics design paradigm, resulting in nearly decade-l...
191
click to vote
CTRSA
2006
Springer
15 years 10 months ago
2006
Springer
Bellare, Canetti and Krawczyk proposed a security model (BCK-model) for authentication and key exchange protocols in 1998. The model not only reasonably captures the power of pract...
217
Voted
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...