2859 search results - page 498 / 572 » A Programming Environment for Bousi-Prolog |
143
click to vote
MICRO
2005
IEEE
15 years 10 months ago
2005
IEEE
As more data value speculation mechanisms are being proposed to speed-up processors, there is growing pressure on the critical processor structures that must buffer the state of t...
166
click to vote
ICAIL
2005
ACM
15 years 10 months ago
2005
ACM
Computational resources for research in legal environments have historically implied remote access to large databases of legal documents such as case law, statutes, law reviews an...
163
click to vote
WIKIS
2005
ACM
15 years 10 months ago
2005
ACM
Good documentation benefits every software development project, especially large ones, but it can be hard, costly, and tiresome to produce when not supported by appropriate tools...
125
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
140
click to vote
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
The proportion of complex distributed real-time embedded (DRE) systems made up of commercial-off-the-shelf (COTS) hardware and software is increasing significantly in response to...