Sciweavers

1523 search results - page 48 / 305
» Software Development Improvement with SFIM
Sort
View
CODES
2010
IEEE
15 years 2 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...
ISORC
1999
IEEE
15 years 8 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch
CC
2008
Springer
138views System Software» more  CC 2008»
15 years 6 months ago
Improved Memory-Access Analysis for x86 Executables
Over the last seven years, we have developed static-analysis methods to recover a good approximation to the variables and dynamically allocated memory objects of a stripped executa...
Thomas W. Reps, Gogul Balakrishnan
AVI
2006
15 years 5 months ago
Improving list revisitation with ListMaps
Selecting items from lists is a common task in many applications. Alphabetically-sorted listboxes are the most common interface widget used to accomplish this selection, but altho...
Carl Gutwin, Andy Cockburn
NAR
2007
105views more  NAR 2007»
15 years 4 months ago
Onto-Tools: new additions and improvements in 2006
Onto-Tools is a freely available web-accessible software suite, composed of an annotation database and nine complementary data-mining tools. This article describes a new tool, Ont...
Purvesh Khatri, Calin Voichita, Khalid Kattan, Nad...