16883 search results - page 271 / 3377 » Generalized Non-Reducible Descriptors |
178
click to vote
SIGUCCS
2003
ACM
15 years 12 months ago
2003
ACM
This paper discusses the challenges of putting Apple Macintosh OSX into open access and computer lab environments. Categories and Subject Descriptors K.6.4 [Management of Computin...
154
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
177
click to vote
WWW
2003
ACM
15 years 12 months ago
2003
ACM
This paper addresses interoperability issues of learning content management systems. Motivation and design challenges are presented and an interoperability framework implemented a...
169
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...
176
click to vote
GLVLSI
2010
IEEE
15 years 11 months ago
2010
IEEE
A methodology is proposed for designing robust circuits exhibiting higher tolerance to process and environmental variations. This higher tolerance is achieved by exploiting the in...