Sciweavers

2763 search results - page 67 / 553
» The Dangerous 'All' in Specifications
Sort
View
NAR
2008
114views more  NAR 2008»
13 years 9 months ago
NetworKIN: a resource for exploring cellular phosphorylation networks
Protein kinases control cellular responses by phosphorylating specific substrates. Recent proteomewide mapping of protein phosphorylation sites by mass spectrometry has discovered...
Rune Linding, Lars Juhl Jensen, Adrian Pasculescu,...
TSP
2010
13 years 3 months ago
Optimized analog flat filter design
This paper proposes a systematic approach for the optimized design of analog filters, which includes all well-known classical analog filters as a special case. All specifications i...
Hung Gia Hoang, Hoang Duong Tuan, Truong Q. Nguyen
VLSID
2008
IEEE
122views VLSI» more  VLSID 2008»
14 years 9 months ago
A Module Checking Based Converter Synthesis Approach for SoCs
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
Roopak Sinha, Partha S. Roop, Samik Basu
AINA
2009
IEEE
14 years 4 months ago
A Fast and Memory Efficient Dynamic IP Lookup Algorithm Based on B-Tree
—This paper deals with the traditional IP address lookup problem with fast updates. We propose a B-tree data structure, called MMSPT (Multiway Most Specific Prefix Tree), which i...
Yeim-Kuan Chang, Yung-Chieh Lin
ASWEC
2005
IEEE
14 years 2 months ago
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
Soon-Kyeong Kim, Luke Wildman, Roger Duke