2607 search results - page 402 / 522 » Complete Functional Synthesis |
109
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
127
Voted
ASAP
2005
IEEE
15 years 8 months ago
2005
IEEE
Users expect future handhelddevices to provide extended multimedia functionality and have long battery life. This type of application imposes heavy constraints on performance and ...
CSB
2005
IEEE
15 years 8 months ago
2005
IEEE
Human crooked neck protein (hcrn) containing 17 HAT or TPR repeats plays a role in pre-mRNA processing. Conserved residues in the TPR consensus sequence of 34 aa were found at hel...
118
click to vote
INFOCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
— We consider the problem of scheduling a sequence of packets over a linear network, where every packet has a source and a target, as well as a release time and a deadline by whi...
INFOCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
— A common approach for measurement-based characterization of peer-to-peer (P2P) systems is to capture overlay snapshots using a crawler. The accuracy of captured snapshots by P2...