Sciweavers

1439 search results - page 104 / 288
» The Virtual Museum of Architecture
Sort
View
SIMPAR
2010
386views Robotics» more  SIMPAR 2010»
15 years 4 months ago
Virtual Robot Experimentation Platform V-REP: A Versatile 3D Robot Simulator
From exploring planets to cleaning homes, the reach and versatility of robotics is vast. The integration of actuation, sensing and control makes robotics systems powerful, but comp...
Marc Freese, Surya P. N. Singh, Fumio Ozaki, Nobut...
IFIP
2010
Springer
15 years 1 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
DATE
2006
IEEE
91views Hardware» more  DATE 2006»
16 years 16 days ago
Virtual prototyping of embedded platforms for wireless and multimedia
Most of the challenges related to the development of multi-processor platforms for complex wireless and multimedia applications fall into the Electronic System Level (ESL) domain....
Tim Kogel, Matthew Braun
DATE
2005
IEEE
278views Hardware» more  DATE 2005»
16 years 3 days ago
Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...
Franco Fummi, Mirko Loghi, Stefano Martini, Marco ...
SEMWEB
2005
Springer
15 years 12 months ago
Gnowsis Adapter Framework: Treating Structured Data Sources as Virtual RDF Graphs
The integration of heterogenous data sources is a crucial step for the upcoming semantic web – if existing information is not integrated, where will the data come from that the s...
Leo Sauermann, Sven Schwarz