7956 search results - page 343 / 1592 » Into the Future |
167
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...
174
click to vote
ARC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We describe a new approach for creating hardware description language (HDL) specifications for custom instructions, to form part of the instruction-set architecture (ISA)...
146
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
To accomplish a business process redesign project successfully, an enterprise needs to gather information about its present business process situation as well identifying clear and...
137
Voted
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
For extremely Low-power Logic, three very new and promising techniques will be described. The first are methods on circuit and system level for reduced supply voltages. In large l...
188
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...