Sciweavers

3481 search results - page 462 / 697
» Higher-Order Logic Programming as Constraint Logic Programmi...
Sort
View
EDOC
2007
IEEE
15 years 8 months ago
Automated Model-Based Configuration of Enterprise Java Applications
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
Jules White, Douglas C. Schmidt, Krzysztof Czarnec...
FCCM
2006
IEEE
125views VLSI» more  FCCM 2006»
15 years 10 months ago
A Multithreaded Soft Processor for SoPC Area Reduction
The growth in size and performance of Field Programmable Gate Arrays (FPGAs) has compelled System-on-aProgrammable-Chip (SoPC) designers to use soft processors for controlling sys...
Blair Fort, Davor Capalija, Zvonko G. Vranesic, St...
KR
1998
Springer
15 years 8 months ago
Combining Narratives
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
John McCarthy, Tom Costello
FPGA
2005
ACM
158views FPGA» more  FPGA 2005»
15 years 10 months ago
Automated synthesis for asynchronous FPGAs
We present an automatic logic synthesis method targeted for highperformance asynchronous FPGA (AFPGA) architectures. Our method transforms sequential programs as well as high-leve...
Song Peng, David Fang, John Teifel, Rajit Manohar
NGITS
1997
Springer
15 years 8 months ago
Maintaining Information Resources
With the proliferation of the World Wide Web, it has become very important to provide advanced tools for maintaining referential integrity of information resources. The growing te...
Sofus A. Macskassy, Leon A. Shklar