Sciweavers

9974 search results - page 1893 / 1995
» Software Interconnection Models
Sort
View
NAR
2000
70views more  NAR 2000»
15 years 1 months ago
UK CropNet: a collection of databases and bioinformatics resources for crop plant genomics
The UK Crop Plant Bioinformatics Network (UK CropNet) was established in 1996 in order to harness the extensive work in genome mapping in crop plants in the UK. Since this date we...
Jo L. Dicks, Mary Anderson, Linda Cardle, Sam Cart...
FMSD
2002
81views more  FMSD 2002»
15 years 1 months ago
A Notation and Logic for Mobile Computing
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
Gruia-Catalin Roman, Peter J. McCann
IJWIN
2002
166views more  IJWIN 2002»
15 years 1 months ago
QoS Routing for Mesh-Based Wireless LANs
Wireless LANs with their increased data rate become an attractive technology for connecting mobile users to the Internet. Efficient deployment of wireless LANs will require the ab...
Qi Xue, Aura Ganz
STTT
1998
130views more  STTT 1998»
15 years 1 months ago
The Practitioner's Guide to Coloured Petri Nets
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
Lars Michael Kristensen, Søren Christensen,...
TCAD
2002
146views more  TCAD 2002»
15 years 1 months ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier
« Prev « First page 1893 / 1995 Last » Next »