Sciweavers

2800 search results - page 105 / 560
» Fibrational Control Structures
Sort
View
ISPW
2005
IEEE
15 years 12 months ago
Project Management System Based on Work-Breakdown-Structure Process Model
: We have developed a “WBS(Work Breakdown Structure) process model” for a business application software development project. We have also developed a project management system ...
Akira Harada, Satoshi Awane, Yuji Inoya, Osamu Ohn...
ICMENS
2003
IEEE
54views Hardware» more  ICMENS 2003»
15 years 11 months ago
Spin Detection and Injection Using Ferromagnetic Metal and Semiconductor Hybrid Structure
We investigated spin-dependent transport properties from a viewpoint of spin detection and injection using a ferromagnetic metal / insulator (Al2O3)/ semiconductor tunnel junction...
T. Manago
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 10 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
POPL
2000
ACM
15 years 10 months ago
Type Systems for Distributed Data Structures
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
Ben Liblit, Alexander Aiken
ESEM
2007
ACM
15 years 8 months ago
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
Samar Mouchawrab, Lionel C. Briand, Yvan Labiche