2272 search results - page 73 / 455 » Validity Invariants and Effects |
CC
2007
Springer
14 years 1 months ago
2007
Springer
To achieve high resource utilization for multi-issue Digital Signal Processors (DSPs), production compilers commonly include variants of the iterative modulo scheduling algorithm. ...
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
Large-scale, value-added Internet services composed of independent cooperating or competing services will soon become common place. Several groups have addressed the performance, c...
ICAT
2006
IEEE
14 years 1 months ago
2006
IEEE
Providing haptic cues can generate increased levels of presence in users as they interact with tangible objects. In this paper, we present button effects delivered by air-jet displ...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
UML
2005
Springer
14 years 1 months ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...