Sciweavers

9316 search results - page 1463 / 1864
» Analysis of traceback techniques
Sort
View
EUROMICRO
2007
IEEE
16 years 1 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
GLOBECOM
2007
IEEE
16 years 1 months ago
Volume Growth and General Rate Quantization on Grassmann Manifolds
—The Grassmann manifold Gn,p (L) is the set of all p-dimensional planes (through the origin) in the n-dimensional Euclidean space Ln , where L is either R or C. This paper consid...
Wei Dai, Brian Rider, Youjian Liu
HICSS
2007
IEEE
136views Biometrics» more  HICSS 2007»
16 years 1 months ago
Analog and Hybrid Computation Approaches for Static Power Flow
Analog and hybrid computation methods are areas of continued interest, particularly in specific applications where traditional digital computation techniques cannot achieve the de...
Aaron St. Leger, Chika O. Nwankpa
HICSS
2007
IEEE
135views Biometrics» more  HICSS 2007»
16 years 1 months ago
Composable Language Extensions for Computational Geometry: A Case Study
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
Eric Van Wyk, Eric Johnson
HICSS
2007
IEEE
120views Biometrics» more  HICSS 2007»
16 years 1 months ago
The Role of a Shared Mental Model of Collaboration Technology in Facilitating Knowledge Work in Virtual Teams
We studied 52 field examples interaction breakdown in information technology project virtual teams and actions leaders took to fix it using information and communication technolog...
Dominic M. Thomas, Robert P. Bostrom
« Prev « First page 1463 / 1864 Last » Next »