Sciweavers

1906 search results - page 134 / 382
» Controls in Flexible Software Development
Sort
View
BMCBI
2008
108views more  BMCBI 2008»
15 years 1 months ago
A nonparametric model for quality control of database search results in shotgun proteomics
Background: Analysis of complex samples with tandem mass spectrometry (MS/MS) has become routine in proteomic research. However, validation of database search results creates a bo...
Jiyang Zhang, Jianqi Li, Xin Liu, Hongwei Xie, Yun...
AADEBUG
1997
Springer
15 years 5 months ago
Observation and Control for Debugging Distributed Computations
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Algorithms for observation are useful in distr...
Vijay K. Garg
CODES
2003
IEEE
15 years 6 months ago
Design space exploration of a hardware-software co-designed GF(2m) galois field processor for forward error correction and crypt
This paper describes a hardware-software co-design approach for flexible programmable Galois Field Processing for applications which require operations over GF(2m ), such as RS an...
Wei Ming Lim, Mohammed Benaissa
IUI
2004
ACM
15 years 6 months ago
A plan-based mission control center for autonomous vehicles
Teams of autonomous vehicles (AVs) carry out missions in a number of fields such as space exploration and searchand-rescue. However, human supervision is still required to monito...
Gary Look, Howard E. Shrobe
PEPM
1991
ACM
15 years 4 months ago
The Semantics of Scheme Control-Flow Analysis
This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations to explicate the control-flow analysis technique presen...
Olin Shivers