Sciweavers

4313 search results - page 311 / 863
» Using time travel to diagnose computer problems
Sort
View
TCS
2010
15 years 2 months ago
Non-confluence in divisionless P systems with active membranes
We describe a solution to the SAT problem via non-confluent P systems with active membranes, without using membrane division rules. Furthermore, we provide an algorithm for simula...
Antonio E. Porreca, Giancarlo Mauri, Claudio Zandr...
CEC
2010
IEEE
15 years 8 months ago
Accelerated optimisation of chemotherapy dose schedules using fitness inheritance
Abstract-- Cancer treatment by chemotherapy involves multiple applications of toxic drugs over a period of time. Optimising the schedule of these treatments can improve the outcome...
Robert Barbour, David W. Corne, John A. W. McCall
DAC
1999
ACM
15 years 11 months ago
Test Generation for Gigahertz Processors Using an Automatic Functional Constraint Extractor
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests which can be run at native speeds is becoming a serious proble...
Raghuram S. Tupuri, Arun Krishnamachary, Jacob A. ...
ACSC
2009
IEEE
15 years 11 months ago
Verification of the SIP Transaction Using Coloured Petri Nets
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...
Lin Liu
200
Voted
BIBM
2008
IEEE
137views Bioinformatics» more  BIBM 2008»
16 years 1 months ago
Exploring Alternative Splicing Features Using Support Vector Machines
Alternative splicing is a mechanism for generating different gene transcripts (called isoforms) from the same genomic sequence. Finding alternative splicing events experimentally ...
Jing Xia, Doina Caragea, Susan Brown