830 search results - page 146 / 166 » Planning as an architectural control mechanism |
109
Voted
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
131
Voted
FPGA
1995
ACM
15 years 4 months ago
1995
ACM
Recent advances in Field-Programmable Gate Arrays (FPGA) and programmable interconnects have made it possible to build efficient hardware emulation engines. In addition, improveme...
ISCAS
1995
IEEE
15 years 4 months ago
1995
IEEE
Abstract -- Work in progress at the University of Missouri-Rolla on hardware assists for high performance computing is presented. This research consists of a novel field programmab...
121
Voted
SIGCOMM
1995
ACM
15 years 4 months ago
1995
ACM
Distributedmultimedia applicationsrequire performanceguarantees from the underlying network subsystem. Ethernet has been the dominant local area network architecture in the last d...
113
Voted
HCI
2007
15 years 1 months ago
2007
Abstract. A major challenge of Ambient Intelligence lies in building middleware that can ease service implementation through allowing the application developer to emphasize only th...