Sciweavers

2500 search results - page 263 / 500
» Specifying Behavior in C
Sort
View
ICCAD
1997
IEEE
144views Hardware» more  ICCAD 1997»
15 years 8 months ago
Exploiting off-chip memory access modes in high-level synthesis
Memory-intensive behaviors often contain large arrays that are synthesized into off-chip memories. With the increasing gap between on-chip and off-chip memory access delays, it is...
Preeti Ranjan Panda, Nikil D. Dutt, Alexandru Nico...
CHI
1997
ACM
15 years 8 months ago
The Persona Effect: Affective Impact of Animated Pedagogical Agents
Animated pedagogical agents that inhabit interactive learning environments can exhibit strikingly lifelike behaviors. In addition to providing problem-solving advice in response t...
James C. Lester, Sharolyn A. Converse, Susan H. Ka...
CP
1997
Springer
15 years 8 months ago
Random Constraint Satisfaction: A More Accurate Picture
In the last few years there has been a great amount of interest in Random Constraint Satisfaction Problems, both from an experimental and a theoretical point of view. Quite intrigu...
Dimitris Achlioptas, Lefteris M. Kirousis, Evangel...
ACMICEC
2006
ACM
111views ECommerce» more  ACMICEC 2006»
15 years 8 months ago
Passive verification of the strategyproofness of mechanisms in open environments
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
Laura Kang, David C. Parkes
WSC
2007
15 years 6 months ago
Self organized UAV swarm planning optimization for search and destroy using SWARMFARE simulation
As military interest continues to grow for Unmanned Aerial Vehicle (UAV) capabilities, the Air Force is exploring UAV autonomous control, mission planning and optimization techniq...
Dustin J. Nowak, Ian C. Price, Gary B. Lamont