HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
811.
▲
Dynamic Region Ownership for Concurrency Safety
dl.acm.org
discuss
a year ago
ptx
2 points
812.
▲
Static interpretation of higher-order modules in Futhark: functional GPU program
dl.acm.org
discuss
a year ago
fanf2
2 points
813.
▲
StarMalloc: Verifying a Modern, Hardened Memory Allocator
dl.acm.org
discuss
a year ago
thunderbong
2 points
814.
▲
A formulae-as-type notion of control: classical logic and call/cc in Scheme
dl.acm.org
discuss
a year ago
fanf2
2 points
815.
▲
Passively Mapping Cyclist Safety Using Smart Handlebars for Near-Miss Detection
dl.acm.org
discuss
a year ago
PaulHoule
2 points
816.
▲
Quantum Algorithm Implementations for Beginners
dl.acm.org
discuss
a year ago
udev4096
2 points
817.
▲
"Don't You Dare Go Hollow": How Dark Souls Helps Players Cope with Depression
dl.acm.org
discuss
a year ago
rustoo
2 points
818.
▲
Ubiquitous Computing at Xerox PARC: The computer for the 21st century (1991)
dl.acm.org
discuss
a year ago
transpute
2 points
819.
▲
Empowering WebAssembly with Thin Kernel Interfaces
dl.acm.org
discuss
a year ago
PaulHoule
2 points
820.
▲
Bio-E-Nails: A Sustainable Design Approach to Biobased Nail Interfaces
dl.acm.org
discuss
a year ago
gnabgib
2 points
821.
▲
Web 3.0 Requires Data Integrity
dl.acm.org
discuss
a year ago
hn_acker
2 points
822.
▲
Animating rotation with quaternion curves (1985)
dl.acm.org
discuss
a year ago
teleforce
2 points
823.
▲
Computer science as empirical inquiry (1975)
dl.acm.org
discuss
a year ago
1sembiyan
2 points
824.
▲
The unwritten contract of solid state drives
dl.acm.org
discuss
a year ago
fanf2
2 points
825.
▲
A programmable programming language (2018)
dl.acm.org
discuss
a year ago
teleforce
2 points
826.
▲
Rationale for the RBAC96 family of access control models (1996)
dl.acm.org
discuss
a year ago
mooreds
2 points
827.
▲
A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Apps
dl.acm.org
discuss
a year ago
matt_d
2 points
828.
▲
Development of Robotic Device That Performs Head Bunting to Relieve User Tension
dl.acm.org
discuss
a year ago
bookofjoe
2 points
829.
▲
Towards Modern Development of Cloud Applications
dl.acm.org
discuss
a year ago
gwbas1c
2 points
830.
▲
Turing.jl: a general-purpose probabilistic programming language
dl.acm.org
discuss
a year ago
moelf
2 points
831.
▲
Program logics à la carte
dl.acm.org
discuss
a year ago
fanf2
2 points
832.
▲
Particle-Laden Fluid on Flow Maps
dl.acm.org
discuss
a year ago
PaulHoule
2 points
833.
▲
Formal mechanised semantics of CHERI C: capabilities, undefined behaviour, and p
dl.acm.org
discuss
a year ago
fanf2
2 points
834.
▲
Students' Use of GitHub Copilot for Working with Large Code Base
dl.acm.org
discuss
a year ago
azhenley
2 points
835.
▲
An approach to generate correctly rounded math libraries for new floating point
dl.acm.org
discuss
a year ago
fanf2
2 points
836.
▲
Role of Composition in Computer Programming (1995)
dl.acm.org
discuss
a year ago
todsacerdoti
2 points
837.
▲
Scalable, high performance Ethernet forwarding with CuckooSwitch (2013)
dl.acm.org
discuss
a year ago
MrAlex94
2 points
838.
▲
AIGPU: An Arithmetic-Intensity-Guided Single-GPU Scheduling Model
dl.acm.org
discuss
a year ago
teleforce
2 points
839.
▲
Computational Thinking (2006) [pdf]
dl.acm.org
discuss
a year ago
__rito__
2 points
840.
▲
Parallel sections: scaling system-level data-structures
dl.acm.org
discuss
a year ago
fanf2
2 points
More