Sciweavers

9842 search results - page 1670 / 1969
» Problem complexity
Sort
View
DMS
2008
132views Multimedia» more  DMS 2008»
15 years 8 months ago
STRAT: a Sketched-truss Recognition and Analysis Tool
The statically-determinate, pin-connected truss is a basic structural element used by engineers to create larger and more complex systems. Truss analysis and design are topics tha...
Joshua M. Peschel, Tracy Anne Hammond
DW
2008
135views GIS» more  DW 2008»
15 years 8 months ago
Harmonizing company-wide Information Objects
: In today's companies, particularly multi-national enterprises acting on a global scale, historically grown systems and application landscapes, as well as processes, lead to ...
Alexander Schmidt, Boris Otto
FAST
2007
15 years 8 months ago
Proportional-Share Scheduling for Distributed Storage Systems
Fully distributed storage systems have gained popularity in the past few years because of their ability to use cheap commodity hardware and their high scalability. While there are...
Yin Wang, Arif Merchant
FIW
2007
15 years 8 months ago
Model Inference Approach for Detecting Feature Interactions in Integrated Systems
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
Muzammil Shahbaz, Benoît Parreaux, Francis K...
FORTE
2008
15 years 8 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
« Prev « First page 1670 / 1969 Last » Next »