Sciweavers

1431 search results - page 63 / 287
» Experience-driven experimental systems research
Sort
View
EMSOFT
2003
Springer
15 years 11 months ago
Space Reductions for Model Checking Quasi-Cyclic Systems
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcl...
ICMCS
2000
IEEE
126views Multimedia» more  ICMCS 2000»
15 years 10 months ago
Automatic 3D City Construction System using Omni Camera
Video analysis and mixed reality (MR) systems, which integrate the virtual world and the real world, are important topics of multimedia research. In this paper, we propose an ef...
Hiroshi Kawasaki, Katsushi Ikeuchi, Masao Sakauchi
ISSS
1996
IEEE
102views Hardware» more  ISSS 1996»
15 years 10 months ago
Throughput Optimization in Disk-Based Real-Time Application Specific Systems
Traditionally, application specific computations have been focusing on numerically intensive data manipulation. Modern communications and DSP applications, such as WWW, interactiv...
Stephen Docy, Inki Hong, Miodrag Potkonjak
ASPDAC
2000
ACM
109views Hardware» more  ASPDAC 2000»
15 years 10 months ago
A technique for QoS-based system partitioning
Quality of service (QoS) has been an important topic of many research communities. Combined with an advanced and retargetable compiler, variability of applicationsspecific very lar...
Johnson S. Kin, Chunho Lee, William H. Mangione-Sm...
ATAL
2008
Springer
15 years 8 months ago
Exploiting organisational information for service coordination in multiagent systems
Service-Oriented Computing and Agent Technology are nowadays two of the most active research fields in distributed and open systems. However, when trying to bridge the two worlds,...
Alberto Fernández, Sascha Ossowski