Sciweavers

53390 search results - page 190 / 10678
» Computer Systems Analysis
Sort
View
ECOOPW
1998
Springer
15 years 10 months ago
Reengineering the Modularity of OO Systems
This paper describes a validation experiment of a quantitative approach to the modularization of object oriented systems based on Cluster Analysis. A sample of some relatively larg...
Fernando Brito e Abreu, Gonçalo Pereira, Pe...
TC
2010
15 years 4 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi
DAC
1996
ACM
15 years 10 months ago
Opportunities and Obstacles in Low-Power System-Level CAD
A case study in low-power system-level design is presented. We detail the design of a low-power embedded system, a touchscreen interface device for a personal computer. This devic...
Andrew Wolfe
ECEASST
2010
15 years 3 months ago
GUI Inspection from Source Code Analysis
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
João Carlos Silva 0002, José Creissa...
ISPAN
1996
IEEE
15 years 10 months ago
An effective parallelization of execution of multijoins in multiprocessor systems
In this paper, we study a synchronous execution strategy f o r parallel join computation in multiprocessor systems. Through a further comprehensive investigation of the processor ...
Xuemin Lin, S. Fox
« Prev « First page 190 / 10678 Last » Next »