Sciweavers

954 search results - page 168 / 191
» On Controlled Flexibility
Sort
View
IFIP
2010
Springer
13 years 4 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
TCBB
2010
91views more  TCBB 2010»
13 years 4 months ago
SCS: Signal, Context, and Structure Features for Genome-Wide Human Promoter Recognition
This paper integrates the signal, context and structure features for genome-wide promoter recognition, which is critical in many DNA sequence analysis tasks. First, CpG islands ar...
Jia Zeng, Xiaoyu Zhao, Xiao-Qin Cao, Hong Yan
CHI
2011
ACM
13 years 1 months ago
How a freeform spatial interface supports simple problem solving tasks
We developed DataBoard, a freeform spatial interface, to support users in simple problem solving tasks. To develop a deeper understanding of the role of space and the tradeoffs be...
Eser Kandogan, Juho Kim, Thomas P. Moran, Pablo Pe...
COMSUR
2011
198views Hardware» more  COMSUR 2011»
12 years 9 months ago
Optical Layer Monitoring Schemes for Fast Link Failure Localization in All-Optical Networks
—Optical layer monitoring and fault localization serves as a critical functional module in the control and management of optical networks. An efficient monitoring scheme aims at ...
Bin Wu, Pin-Han Ho, Kwan Lawrence Yeung, Já...
HICSS
2012
IEEE
346views Biometrics» more  HICSS 2012»
12 years 5 months ago
The Fundamental Concept of Unified Generalized Model and Data Representation for New Applications in the Future Grid
The concept of interoperability of data and model as presented in this paper is viewed as being very useful for implementing variety of future applications related to power system...
Mladen Kezunovic, Santiago Grijalva, Papiya Dutta,...