16218 search results - page 272 / 3244 » Standards |
155
click to vote
FDL
2005
IEEE
16 years 10 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
189
click to vote
FOCS
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper proves ¡ £ ¥ lower bounds on the time to perform a single instance of an operation in any implementation of a large class of data structures shared by £ processe...
155
click to vote
IWSOC
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper explores the design and optimization of Quasi-Floating Gate MOS techniques to lowvoltage/low-power digital circuitry. The simulated power consumption of standard CMOS g...
174
click to vote
ISPD
2005
ACM
16 years 8 days ago
2005
ACM
During the ispd05 placement contest, we employed the forcedirected approach Kraftwerk for global placement complemented by the network-flow based final placer Domino. These powe...
148
click to vote
ITICSE
2005
ACM
16 years 8 days ago
2005
ACM
FAdo1 is an ongoing project which aims the development of an interactive environment for symbolic manipulation of formal languages. In this paper we focus in the description of in...