2859 search results - page 529 / 572 » A Programming Environment for Bousi-Prolog |
163
click to vote
VEE
2010
ACM
16 years 8 days ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
146
Voted
IPSN
2010
Springer
16 years 4 days ago
2010
Springer
Complex interactions and the distributed nature of wireless sensor networks make automated testing and debugging before deployment a necessity. A main challenge is to detect bugs ...
167
click to vote
LCTRTS
2009
Springer
16 years 2 days ago
2009
Springer
Dynamic binary translation (DBT) can provide security, virtualization, resource management and other desirable services to embedded systems. Although DBT has many benefits, its r...
187
Voted
CODES
2009
IEEE
16 years 2 days ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...
157
click to vote
MICRO
2009
IEEE
15 years 12 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...