2859 search results - page 90 / 572 » A Programming Environment for Bousi-Prolog |
135
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
HPC scientific computational models are notoriously difficult to develop, debug, and maintain. The reasons for this are multifaceted — including difficulty of parallel programm...
119
click to vote
DFT
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a new test methodology which utilizes the Programming Language Interface (PLI) for performing fault simulation of combinational or full scan Intellectual Prope...
125
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
In IP-based wireless/mobile networks, minimizing handover latency is one of the most important issues. Fast handover mobile IPv6 (FMIPv6) reduces the handover latency by handover p...
127
click to vote
RTA
2004
Springer
15 years 10 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
124
click to vote
VL
1992
IEEE
15 years 8 months ago
1992
IEEE
MAVIS is a dataflow visual languagefor computer vision and image processing. It features a high degree of `liveness' and compliance with user directives, providing ajexible e...