17129 search results - page 3248 / 3426 » Applied Computing |
138
click to vote
WOLLIC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
122
click to vote
RTSS
2008
IEEE
15 years 9 months ago
2008
IEEE
—Energy consumption continues to be a major concern in multiple application domains including powerhungry data centers, portable and wearable devices, mobile communication device...
139
click to vote
RTSS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents the design of user-level scheduling hierarchies in the Composite component-based system. The motivation for this is centered around the design of a system that...
148
Voted
RTSS
2007
IEEE
15 years 9 months ago
2007
IEEE
— With the advent of CMOS cameras, it is now possible to make compact, cheap and low-power image sensors capable of on-board image processing. These embedded vision sensors provi...
136
click to vote
RTSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Recently, cheap and large capacity non-volatile memory such as flash memory is rapidly replacing disks not only in embedded systems, but also in high performance servers. Unlike ...