2007 search results - page 259 / 402 » Using general-purpose programming languages for FPGA design |
117
click to vote
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
138
Voted
ECOOP
2003
Springer
15 years 8 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
123
click to vote
UM
2001
Springer
15 years 7 months ago
2001
Springer
In this paper, we suggest an integrated architecture that makes use of the objective-technical information provided by the designer and the subjectiveperceptual information supplie...
141
click to vote
ASPLOS
1996
ACM
15 years 7 months ago
1996
ACM
Advances in IC processing allow for more microprocessor design options. The increasing gate density and cost of wires in advanced integrated circuit technologies require that we l...
126
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
The application of the collaborative networks paradigm, and a new generation of collaboration-support platforms and tools, is a promising approach to supporting active ageing, and ...