Sciweavers

2413 search results - page 195 / 483
» Understanding the problem
Sort
View
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 9 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
HICSS
2002
IEEE
71views Biometrics» more  HICSS 2002»
15 years 9 months ago
Groupware Technology for Cooperative Learning via the Internet
 To take advantage of the numerous new resources for teaching/learning provided by the Internet, teachers should understand technologies that normally are not part of their fiel...
Hugo Fuks, Marco Aurélio Gerosa, Carlos Jos...
VISUALIZATION
2002
IEEE
15 years 9 months ago
Computing Singularities of 3D Vector Fields with Geometric Algebra
Critical points of a vector field are key to their characterization. Not only their positions but also their indexes are crucial for understanding vector fields. Considerable wo...
Stephen Mann, Alyn P. Rockwood
EMSOFT
2001
Springer
15 years 9 months ago
Rate-Based Resource Allocation Models for Embedded Systems
: Run-time executives and operating system kernels for embedded systems have long relied exclusively on static priority scheduling of tasks to ensure timing constraints and other c...
Kevin Jeffay, Steve Goddard
RE
2001
Springer
15 years 9 months ago
Domain Independent Regularities in Scenarios
Scenario is a description technique which has attracted much attention not only from practitioners but also from researchers. Literature on this topic shows the possibilities that...
Marcela Ridao, Jorge Horacio Doorn, Julio Cesar Sa...