840 search results - page 88 / 168 » Programming the future |
ICSE
1998
IEEE-ACM
14 years 1 months ago
1998
IEEE-ACM
Consistency management is an important requirement in many complex applications, but current programming languages and database systems provide inadequate support for it. To addre...
FDL
2007
IEEE
14 years 20 days ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
HOTOS
2007
IEEE
14 years 20 days ago
2007
IEEE
Given that the majority of future processors will contain an abundance of execution cores, redundant execution can offer a promising method for increasing the availability and res...
CC
2004
Springer
14 years 16 days ago
2004
Springer
This paper presents the integration of Soot, a byte-code analysis and transformation framework, with an integrated development environment (IDE), Eclipse. Such an integrated toolki...
ATAL
2006
Springer
14 years 16 days ago
2006
Springer
Computer programs able to play different kinds of games (aka bots) is a growing area of interest for the computer game industry as the demand for better skilled computerized oppon...