442 search results - page 36 / 89 » Model Checking of Systems Employing Commutative Functions |
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—Group-orthogonal multicarrier code-division multiple access (GO-MC-CDMA) has been proposed as a multiplexing technique for the uplink segment of wireless systems. The di...
ICTAI
2006
IEEE
14 years 2 months ago
2006
IEEE
A new method for optimizing complex functions and systems is described that employs Learnable Evolution Model (LEM), a form of non-Darwinian evolutionary computation guided by mac...
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
Efficient communication modeling is a critical task in SoC design and exploration. In particular, fast and accurate communication is needed to predict the performance of a system....
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...
FAC
2007
13 years 8 months ago
2007
Individual components in an inter-operating system require assurance from other components both of appropriate functionality and of suitable responsiveness. We have developed prope...