1768 search results - page 293 / 354 » A Logic for Algebraic Effects |
141
click to vote
ICCAD
2004
IEEE
16 years 2 months ago
2004
IEEE
— This paper presents two contributions. The first is an incremental placement algorithm for placement-aware logic synthesis along with a proof of optimality. The algorithm can ...
142
click to vote
HICSS
2009
IEEE
16 years 24 days ago
2009
IEEE
This paper extends pre-existing digital divide conceptualizations to further investigate the important issue of mismatches between the ontologies of state-created information syst...
145
click to vote
DATE
2009
IEEE
16 years 23 days ago
2009
IEEE
Soft errors in combinational and sequential elements of digital circuits are an increasing concern as a result of technology scaling. Several techniques for gate and latch hardeni...
153
click to vote
MCETECH
2009
Springer
16 years 16 days ago
2009
Springer
Access control rules are currently administered by highly qualified personnel. Thus, the technical barrier that specialized access control languages represent naturally prevents th...
176
click to vote
SEMWEB
2009
Springer
16 years 16 days ago
2009
Springer
RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently ...