1268 search results - page 169 / 254 » High Impact Requirements Engineering |
WCRE
2002
IEEE
15 years 2 months ago
2002
IEEE
Dynamic binary translators compile machine code from a source architecture to a target architecture at run time. Due to the hard time constraints of just-in-time compilation only ...
CSMR
1998
IEEE
15 years 2 months ago
1998
IEEE
Legacy systems are usually critical to the business in which they operate, but the costs of running them are often not justifiable. Determining whether such systems are worth keep...
HPDC
1998
IEEE
15 years 2 months ago
1998
IEEE
The Electronic Visualization Laboratory (EVL) at the University of Illinois at Chicago (UIC) has partnered with dozens of computational scientists and engineers to create visualiz...
ISSTA
1998
ACM
15 years 2 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
EUROMICRO
1997
IEEE
15 years 2 months ago
1997
IEEE
CMOS technology should, over the next few years, reach lithography of under 0.1¡ . This provides a die area improvement of a factor of 10 over today’s technology. What is the b...