3828 search results - page 543 / 766 » Proof-Based System Engineering Using a Virtual System Model |
175
click to vote
CGO
2009
IEEE
16 years 1 months ago
2009
IEEE
—Most research into high-performance software transactional memory (STM) assumes that transactions will run on a processor with a relatively strict memory model, such as Total St...
154
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
159
click to vote
WSC
2007
15 years 8 months ago
2007
This paper describes an innovative framework, iFAOSimo, which integrates optimization, simulation and GIS (geographic information system) techniques to handle complex spatial faci...
151
click to vote
CLEIEJ
2010
15 years 3 months ago
2010
Holonic networks constitute a type of organizational structures widely used at manufacturing enterprises. In an educational context, however, this type of structures remains practi...
178
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
In recent years, statistically motivated approaches for the registration and tracking of non-rigid objects, such as the Active Appearance Model (AAM), have become very popular. A ...