Sciweavers

1835 search results - page 157 / 367
» Functional Programming of Behavior-Based Systems
Sort
View
IAT
2007
IEEE
15 years 11 months ago
Automatically Costed Autonomous Mobility
To share resources in open distributed systems we have developed autonomous mobile programs, which periodically use a cost model to decide where to execute in a network. In additi...
Xiao Yan Deng, Greg Michaelson, Philip W. Trinder
GCSE
1999
Springer
15 years 9 months ago
Scoping Constructs for Software Generators
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...
Yannis Smaragdakis, Don S. Batory
154
Voted
LICS
1994
IEEE
15 years 9 months ago
A Multiple-Conclusion Meta-Logic
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
Dale Miller
TPDS
1998
124views more  TPDS 1998»
15 years 4 months ago
Using Recorded Values for Bounding the Minimum Completion Time in Multiprocessors
—The way the processes in a parallel program are scheduled on the processors of a multiprocessor system affects the performance significantly. Finding a schedule of processes to ...
Lars Lundberg, Håkan Lennerstad
104
Voted
PCM
2004
Springer
76views Multimedia» more  PCM 2004»
15 years 10 months ago
Teleconference System with a Shared Working Space and Face Mouse Interaction
This paper presents a new computer-based teleconference system. In order to build the system, we modified VNC(Virtual Network Computing) program and implemented Face mouse system....
Jin Hak Kim, Sang Chul Ahn, Hyoung-Gon Kim