1145 search results - page 153 / 229 » The Correctness of an Optimized Code Generation |
120
click to vote
ICCTA
2007
IEEE
15 years 3 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
129
click to vote
WECWIS
2003
IEEE
15 years 5 months ago
2003
IEEE
Service portals are systems which expose a bundle of web services to the user, allowing the specification and subsequent execution of complex tasks defined over these individual...
SAC
2010
ACM
15 years 6 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
119
click to vote
MICRO
2003
IEEE
15 years 5 months ago
2003
IEEE
Single-event upsets from particle strikes have become a key challenge in microprocessor design. Techniques to deal with these transient faults exist, but come at a cost. Designers...
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...