9626 search results - page 1363 / 1926 » Invariant Based Programming |
198
click to vote
AUIC
2006
IEEE
16 years 1 months ago
2006
IEEE
User interface designers still have to rely on personal creativity and skill when designing computer icons for program functions that have no existing conventional representation....
189
click to vote
CSFW
2006
IEEE
16 years 1 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
149
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
172
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
The allocation of device variables on I/O registers affects the code size and performance of an I/O device driver. This work seeks the allocation with the minimal software or hard...
176
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
— Embedded multiprocessors pose new challenges in the design and implementation of embedded software. This has led to the need for programming interfaces that expose the capabili...