1583 search results - page 40 / 317 » Parallel High-Order Integrators |
TVLSI
2002
14 years 9 months ago
2002
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— Optical fiber is capable of providing the solution to the need of high bandwidth communication. The main degradation to the optical signal integrity in single mode fibers (SMFs...
FCCM
2006
IEEE
15 years 3 months ago
2006
IEEE
Recently, platform FPGAs that integrate sequential processors with a spatial fabric have become prevalent. While these hybrid architectures ease the burden of integrating sequenti...
ICECCS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
SYNASC
2005
IEEE
15 years 3 months ago
2005
IEEE
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...