Sciweavers

4998 search results - page 900 / 1000
» The case for intentional networking
Sort
View
VLSISP
2008
140views more  VLSISP 2008»
13 years 8 months ago
Regular Expression Matching in Reconfigurable Hardware
In this paper we describe a regular expression pattern matching approach for reconfigurable hardware. Following a Non-deterministic Finite Automata direction, we introduce three ne...
Ioannis Sourdis, João Bispo, João M....
AAMAS
2002
Springer
13 years 8 months ago
A Scheduling Scheme for Controlling Allocation of CPU Resources for Mobile Programs
There is considerable interest in developing runtime infrastructures for programs that can migrate from one host to another. Mobile programs are appealing because they support eff...
Manoj Lal, Raju Pandey
ASE
2004
148views more  ASE 2004»
13 years 8 months ago
TestEra: Specification-Based Testing of Java Programs Using SAT
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
Sarfraz Khurshid, Darko Marinov
CCE
2004
13 years 8 months ago
Cyclic short-term scheduling of multiproduct batch plants using continuous-time representation
The idea of cyclic scheduling is commonly utilized to address short-term scheduling problems for multiproduct batch plants under the assumption of relatively stable operations and...
Dan Wu, Marianthi G. Ierapetritou
CORR
2002
Springer
89views Education» more  CORR 2002»
13 years 8 months ago
NetNeg: A Connectionist-Agent Integrated System for Representing Musical Knowledge
Thesystempresented here showsthe feasibility of modcling the knowledgeinvolved in a complexmusical activity by integrating sub-symbolicand symbolicprocesses. Thisresearch focuses ...
Claudia V. Goldman, Dan Gang, Jeffrey S. Rosensche...