Sciweavers

832 search results - page 152 / 167
» System-level development of embedded software
Sort
View
FORMATS
2008
Springer
14 years 10 days ago
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
Jirí Srba
FPL
2008
Springer
111views Hardware» more  FPL 2008»
14 years 10 days ago
Sampling from the exponential distribution using independent Bernoulli variates
The exponential distribution is a key distribution in many event-driven Monte-Carlo simulations, where it is used to model the time between random events in the system. This paper...
David B. Thomas, Wayne Luk
PDPTA
2007
14 years 6 days ago
Mobile Thin-Client System with Fault Tolerance and Scalability by "HTTP-FUSE-KNOPPIX-BOX"
We have developed a mobile thin-client server named ”HTTP-FUSE-KNOPPIX-BOX” that incorporates mechanisms for increasing performance, distributing load, and providing fault tole...
Jun Kanai, Mitaro Namiki, Kuniyasu Suzaki, Toshiki...
PDPTA
2007
14 years 6 days ago
Mobile Services Based on Client-Server or P2P Architectures facing Issues of Context-Awareness and Heterogeneous
With the advent of mobile computing and mobile services becoming more widespread and more complex, the development process of those services requires an ever more important focus o...
Robert Schmohl, Uwe Baumgarten
BILDMED
2006
135views Algorithms» more  BILDMED 2006»
14 years 6 days ago
Restoration of the Sphere-Cortex Homeomorphism
Abstract. The proposed algorithm has been developed as a pre-processing tool for inflating cortical surface meshes, which have been created using segmentation and subsequent triang...
Andreas Mang, Michael Wagner 0002, Jan Müller...