1158 search results - page 146 / 232 » Software is discrete mathematics |
98
Voted
ISPD
2005
ACM
15 years 6 months ago
2005
ACM
Research in floorplanning and block-packing has generated a variety of data structures to represent spatial configurations of circuit modules. Much of this work focuses on the g...
111
click to vote
DAC
2007
ACM
15 years 4 months ago
2007
ACM
While cryptographic algorithms are usually strong against mathematical attacks, their practical implementation, both in software and in hardware, opens the door to side-channel at...
113
click to vote
ADG
2006
Springer
15 years 4 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
140
click to vote
CCGRID
2004
IEEE
15 years 4 months ago
2004
IEEE
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
113
Voted
EDBT
2000
ACM
15 years 4 months ago
2000
ACM
Workflow management systems (WFMSs) that are geared for the orchestration of enterprise-wide or even "virtual-enterprise"-style business processes across multiple organi...