Sciweavers

1593 search results - page 98 / 319
» A visual programming system for automated problem solving
Sort
View
CGI
2003
IEEE
15 years 11 months ago
Visualization of Distributed Processes Using "Data Jewelry Box" Algorithm
Visualization of distributed processes is useful for the management of large-scale distributed computing systems. Reactivity and scalability are especially important requirements ...
Yumi Yamaguchi, Takayuki Itoh
ICLP
2010
Springer
15 years 10 months ago
Tight Semantics for Logic Programs
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...
Luís Moniz Pereira, Alexandre Miguel Pinto
CASES
2003
ACM
15 years 11 months ago
Polynomial-time algorithm for on-chip scratchpad memory partitioning
Focusing on embedded applications, scratchpad memories (SPMs) look like a best-compromise solution when taking into account performance, energy consumption and die area. The main ...
Federico Angiolini, Luca Benini, Alberto Caprara
WSC
2004
15 years 7 months ago
A Probabilistic Total System Approach to the Simulation of Complex Environmental Systems
GoldSim is a powerful and flexible Windows-based computer program for carrying out probabilistic simulations of complex systems to support management and decisionmaking in enginee...
Rick Kossik, Ian Miller
ASSETS
2006
ACM
16 years 4 days ago
Lecture adaptation for students with visual disabilities using high-resolution photography
Visual content in lectures can be enhanced for use by students with visual disabilities by using high-resolution digital still cameras. This paper presents a system which uses two...
Gregory Hughes, Peter Robinson