3456 search results - page 471 / 692 » Byte Code Engineering |
119
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents an automatic method to customize embedded application-specific instruction processors (ASIPs) based on compiler analysis. ASIPs, also known as embedded soft c...
135
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
Limited energy and memory resources are important constraints in the design of an embedded system. Compression is an useful and widely employed mechanism to reduce the memory requ...
116
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
122
Voted
PARELEC
2002
IEEE
15 years 8 months ago
2002
IEEE
One of the crucial aspects in the design process of high voltage apparatus is the precise simulation of the electrostatic and/or electromagnetic £eld distribution in three dimens...
128
Voted
AOSD
2010
ACM
15 years 8 months ago
2010
ACM
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...