3931 search results - page 309 / 787 » Separation logic and abstraction |
192
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract— In many current SoCs, the architectural interface to onchip monitors is ad hoc and inefficient. In this paper, a new architectural approach which advocates the use of a...
203
Voted
CC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Recent work has shown that the subtasks of register allocation (spilling, register assignment, and coalescing) can be completely separated. This work presents an algorith...
176
Voted
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we present an approach for oblivious composition of Web user interfaces, particularly for volatile functionality. Our approach, which is inspired on well-kn...
192
Voted
CC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
216
click to vote
ICANN
2005
Springer
16 years 1 months ago
2005
Springer
Spike synchronisation and de-synchronisation are important for feature binding and separation at various levels in the visual system. We present a model of complex valued neuron ac...