Sciweavers

5268 search results - page 362 / 1054
» Analysis of Design Process Dynamics
Sort
View
ICRA
2003
IEEE
117views Robotics» more  ICRA 2003»
15 years 10 months ago
Map building with mobile robots in dynamic environments
The problem of generating maps with mobile robots has received considerable attention over the past years. Most of the techniques developed so far have been designed for situation...
Dirk Hähnel, Rudolph Triebel, Wolfram Burgard...
126
Voted
HPCC
2009
Springer
15 years 9 months ago
A Study of Bare PC Web Server Performance for Workloads with Dynamic and Static Content
—Bare PC applications do not use an operating system or kernel. The bare PC architecture avoids buffer copying, minimizes interrupts, uses a single thread of execution for proces...
Long He, Ramesh K. Karne, Alexander L. Wijesinha, ...
DAC
2002
ACM
16 years 6 months ago
A general probabilistic framework for worst case timing analysis
CT The traditional approach to worst-case static-timing analysis is becoming unacceptably conservative due to an ever-increasing number of circuit and process effects. We propose a...
Michael Orshansky, Kurt Keutzer
PRIMA
2007
Springer
15 years 11 months ago
Supporting Requirements Analysis in Tropos: A Planning-Based Approach
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
Volha Bryl, Paolo Giorgini, John Mylopoulos
SDL
2003
158views Hardware» more  SDL 2003»
15 years 6 months ago
Automatic Formal Model Generation and Analysis of SDL
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi