7918 search results - page 146 / 1584 » Model Composition Directives |
111
Voted
TCAD
2002
15 years 13 days ago
2002
Interconnect optimization for VLSI circuits has received wide attention. To model routing surfaces, multiple circuit layers are freabstracted as a single rectilinear plane, ignori...
81
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
A well known computationally efficient method for parameters estimation of linear frequency modulated (LFM) signals is to mix the received signals with a shifted version of itsel...
115
Voted
ECRTS
2007
IEEE
15 years 7 months ago
2007
IEEE
A critical resource in a distributed real-time system is its shared communication medium. Unrestrained concurrent access to the network can lead to collisions that reduce the syst...
CCGRID
2005
IEEE
15 years 6 months ago
2005
IEEE
The emerging service grids bring together various distributed services to a ‘market’ for clients to request and enable the integration of services across distributed, heteroge...
112
Voted
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...