3765 search results - page 721 / 753 » Formal Methods for Systems Engineering Behavior Models |
201
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...
161
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
165
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
A principal problem in speech recognition is distinguishing between words and phrases that sound similar but have different meanings. Speech recognition programs produce a list of...
173
click to vote
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...
144
click to vote
ASMTA
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we consider a multi-server queue with a near general arrival process (represented as an arbitrary state-dependent Coxian distribution), a near general state-dependent...