3456 search results - page 388 / 692 » Byte Code Engineering |
140
click to vote
CODES
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper discusses a case study, the co-design of an ATM Network Interface Card (NIC). The NIC is aimed to interface applications with the physical network line. It is composed ...
135
click to vote
CODES
1998
IEEE
15 years 8 months ago
1998
IEEE
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...
160
click to vote
CODES
1998
IEEE
15 years 8 months ago
1998
IEEE
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
136
click to vote
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
152
click to vote
PEPM
1998
ACM
15 years 8 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...