Sciweavers

519 search results - page 83 / 104
» Granular Problem Solving and Software Engineering
Sort
View
CODES
2007
IEEE
15 years 8 months ago
Secure FPGA circuits using controlled placement and routing
In current Field-Programmable-Logic Architecture (FPGA) design flows, it is very hard to control the routing of submodules. It is thus very hard to make an identical copy of an ex...
Pengyuan Yu, Patrick Schaumont
ECBS
2010
IEEE
147views Hardware» more  ECBS 2010»
15 years 7 months ago
Supporting Customizable Architectural Design Decision Management
—When engineering complex software systems, the key Architectural Design Decisions (ADD) and the reasoning underlying those decisions need to be fully understood by all stakehold...
Lianping Chen, Muhammad Ali Babar
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 2 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
CORR
2004
Springer
180views Education» more  CORR 2004»
15 years 2 months ago
Alchemi: A .NET-based Grid Computing Framework and its Integration into Global Grids
: Computational grids that couple geographically distributed resources are becoming the de-facto computing platform for solving large-scale problems in science, engineering, and co...
Akshay Luther, Rajkumar Buyya, Rajiv Ranjan, Sriku...
SIAMSC
2011
113views more  SIAMSC 2011»
14 years 9 months ago
An Efficient Higher-Order Fast Multipole Boundary Element Solution for Poisson-Boltzmann-Based Molecular Electrostatics
In order to compute polarization energy of biomolecules, we describe a boundary element approach to solving the linearized Poisson–Boltzmann equation. Our approach combines sever...
Chandrajit L. Bajaj, Shun-Chuan Albert Chen, Alexa...