Sciweavers

2045 search results - page 283 / 409
» Learning programming with Erlang
Sort
View
EDUTAINMENT
2007
Springer
16 years 17 days ago
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian
ASPLOS
2006
ACM
16 years 11 days ago
Automatic generation of peephole superoptimizers
Peephole optimizers are typically constructed using human-written pattern matching rules, an approach that requires expertise and time, as well as being less than systematic at ex...
Sorav Bansal, Alex Aiken
MSE
2005
IEEE
116views Hardware» more  MSE 2005»
15 years 12 months ago
PEER: Enriching Secondary Engineering Education Through a College Summer Camp
The Partnership for Engineering Education in the Rockies (PEER) is comprised of local educational and industrial institutions committed to improving the engineering education path...
Justin Gregg, Tom W. Chen
ECML
2005
Springer
15 years 12 months ago
A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems
Constraint programming is rapidly becoming the technology of choice for modelling and solving complex combinatorial problems. However, users of this technology need significant ex...
Christian Bessière, Remi Coletta, Fré...
PVM
2005
Springer
15 years 12 months ago
Some Improvements to a Parallel Decomposition Technique for Training Support Vector Machines
We consider a parallel decomposition technique for solving the large quadratic programs arising in training the learning methodology Support Vector Machine. At each iteration of th...
Thomas Serafini, Luca Zanni, Gaetano Zanghirati