Sciweavers

8135 search results - page 1407 / 1627
» network 2008
Sort
View
TCAD
1998
95views more  TCAD 1998»
15 years 3 months ago
A framework for comparing models of computation
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
140
Voted
TCAD
1998
125views more  TCAD 1998»
15 years 3 months ago
BDD-based synthesis of extended burst-mode controllers
Abstract—We examine the implications of a new hazard-free combinational logic synthesis method [1], which generates multiplexor-based networks from binary decision diagrams (BDDs...
Kenneth Y. Yun, Bill Lin, David L. Dill, Srinivas ...
SIMULATION
2002
142views more  SIMULATION 2002»
15 years 3 months ago
Agent-based Planning and Simulation of Combined Rail/Road Transport
A simulation model of the flow of Intermodal Terminal Units (ITUs) among inland intermodal terminals is presented. The intermodal terminals are inter-connected by rail corridors. ...
Luca Maria Gambardella, Andrea Emilio Rizzoli, Pet...
TPDS
1998
112views more  TPDS 1998»
15 years 3 months ago
Parallel Computation in Biological Sequence Analysis
—A massive volume of biological sequence data is available in over 36 different databases worldwide, including the sequence data generated by the Human Genome project. These data...
Tieng K. Yap, Ophir Frieder, Robert L. Martino
TSE
1998
152views more  TSE 1998»
15 years 3 months ago
Communication and Organization: An Empirical Study of Discussion in Inspection Meetings
—This paper describes an empirical study that addresses the issue of communication among members of a software development organization. In particular, data was collected concern...
Carolyn B. Seaman, Victor R. Basili
« Prev « First page 1407 / 1627 Last » Next »